xen: get GIC addresses from DT
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Thu, 13 Dec 2012 11:44:00 +0000 (11:44 +0000)
committerStefano Stabellini <stefano.stabellini@eu.citrix.com>
Thu, 13 Dec 2012 11:44:00 +0000 (11:44 +0000)
commit01dedfbcdfbcbdf15ac3d60edc2d15536f999349
treefb1a529b97f2abb0eeff9ea24d2ece619de99968
parentd27df538094f2fc5188de0b66538eaf3e3e85fad
xen: get GIC addresses from DT

Get the address of the GIC distributor, cpu, virtual and virtual cpu
interfaces registers from device tree.

Note: I couldn't completely get rid of GIC_BASE_ADDRESS, GIC_DR_OFFSET
and friends because we are using them from mode_switch.S, that is
executed before device tree has been parsed. But at least mode_switch.S
is known to contain vexpress specific code anyway.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic.c
xen/common/device_tree.c
xen/include/xen/device_tree.h